Time handling in Python